Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
891	Part IV Access Control Confidentiality and integrity are often enforced using a form of authorization known as access control, which involves the following assumptions. • Predefined operations are the sole means by whi Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-10 22:02:07 Mathematics Turing machine Models of computation Theory of computation Alan Turing Principle of least privilege Operating system Halting problem Theoretical computer science Computability theory Computer science
892	On Aggregating Teams of Learning Machines Sanjay Jain Department of Information Systems and Computer Science National University of Singapore Singapore 0511, Republic of Singapore Email: [removed] Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-03-10 23:00:58 Logic Computer science Theory of computation Automata theory Models of computation Computable function Computability Formal grammar Model theory Formal languages Theoretical computer science Computability theory
893	Towards Verified Distributed Software Through Refinement of Formal Archetypes K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Jerome White1 1 2 Add to Reading List Source URL: infospheres.caltech.edu Language: English - Date: 2010-05-27 16:01:56 Theoretical computer science Multi-agent system Distributed computing Actor model Applied mathematics Computing Models of computation Cybernetics Mathematical logic Mathematics Algorithm
894	Recognizing safety and liveness Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 15:44:12 Computer science Büchi automaton Finite-state machine Powerset construction Infinite tree automaton Ω-automaton Automata theory Theoretical computer science Models of computation
895	U:/submissions/IV07_Final/IV07.dvi Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2013-10-23 12:02:40 Control theory Stochastic differential equations Mathematical sciences Markov models Markov chain Models of computation
896	The Boost Statechart Library - Tutorial Page 1 of 32 The Boost Statechart Library Add to Reading List Source URL: www.boost.org Language: English - Date: 2007-11-25 13:38:02 Models of computation Computer programming C programming language UML diagrams Automata theory Struct C++ classes Typedef State diagram Software engineering C++ Computing
897	Under consideration for publication in Knowledge and Information Systems CPU Load Shedding for Binary Stream Joins Bugra Gedik1,2 , Kun-Lung Wu1 , Philip S. Yu1 and Ling Liu2 Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2007-03-30 19:56:20 Data Data management Models of computation Mathematical notation Tuple Type theory Stream processing Stream Load Computing Mathematics Programming paradigms
898	Deterministic Part-of-Speech Tagging with Finite-State Transducers Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 08:57:24 Theoretical computer science Natural language processing Computational linguistics Brill tagger Part-of-speech tagging Finite state transducer Finite-state machine Trigram tagger Brown Corpus Linguistics Automata theory Models of computation
899	Fast Approximate Search in Large Dictionaries Stoyan Mihov∗ Klaus U. Schulz† Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-20 11:46:47 Models of computation Computer science Mathematics Combinatorics on words Dynamic programming Levenshtein distance Levenshtein transducer Finite state transducer Regular language Automata theory Formal languages Theoretical computer science
900	Joachim Niehren Functional Computation as Concurrent Computation RR-95-1 Research Repo Add to Reading List Source URL: scidok.sulb.uni-saarland.de Language: English - Date: 2012-02-16 07:03:49 Models of computation Software engineering Lambda calculus Programming paradigms Calculus Actor model Denotational semantics Functional programming Type theory Theoretical computer science Logic in computer science Computing

UPDATE